<?

class ImportFunction{

	public static function un_dhtmlspecialchars($string) {
        $string=str_replace(array('&amp;', '&quot;', '&lt;', '&gt;'), array('&', '"', '<', '>'), $string);
        return $string;
    }

	public static function convert_highlight($code) {
		$code=strval($code);
		if($code=='0') return array(0,0);

		$string = sprintf('%02d', $code);
		$stylestr = sprintf('%03b', $string[0]);

//		$dz_color_arr = array('', 'red', 'orange', 'yellow', 'green', 'cyan', 'blue', 'purple', 'gray');
//		$ajk_color_arr = array('','red','orange','blue','green','purple');

		$map_color = array('0'=>0,'1'=>1,'2'=>2,'3'=>1,'4'=>4,'5'=>1,'6'=>4,'7'=>5,'8'=>1);


		$highlight_style = '';
		$highlight_style .= $stylestr[0] ? '1' : '0';
        $highlight_style .= $stylestr[1] ? '1' : '0';
        $highlight_style .= $stylestr[2] ? '1' : '0';
        $highlight_color = $string[1] ? $map_color[$string[1]] : '0';

		$highlight_style = bindec($highlight_style."000");

		return array($highlight_style,$highlight_color);
    }



}